Błąd co do nierozerwalności małżeństwa (kan. 1099 KPK) a wykluczenie nierozerwalności małżeństwa (kan. 1101 § 2 KPK) w świetle doktryny i orzecznictwa
نویسندگان
چکیده
Po promulgowaniu KPK/83 powstał problem wzajemnej relacji kan. 1099 KPK/83, zmodyfikowanego w stosunku do 1084 KPK/17 (błąd prawny m.in. co nierozerwalności małżeństwa; modyfikacją stała się klauzula „dummodo non determinet voluntatem”) i 1101 § 2 (wykluczenie pozytywnym aktem woli małżeństwa). W gruncie rzeczy chodzi o odpowiedź na pytanie, czy error iuris stanowi autonomiczny tytuł nieważności małżeństwa, też sprowadza aktu symulacyjnego. Debata tym zakresie objęła zarówno doktrynę, jak orzecznictwo Roty Rzymskiej.
 Należy zauważyć, że wykluczając nierozerwalność małżeństwa (kan. KPK/83), nupturient ma pełną świadomość tego, związek ten jest nierozerwalny, niemniej jednak przymiot wklucza woli. Ma więc wówczas miejsce rozbieżność między zewnętrznym (wyrażenie zgody małżeńskiej) przedmiotem (małżeństwo rozwiązalne). Tymczasem, myśl trwa błędzie (jest przekonany tym, małżeństwo rozwiązalne, nie znając innej formy małżeństwa).
 zdecydowanie opowiedzieć za autonomicznością (pogląd dominuje tak doktrynie, orzecznictwie ratalnym). Jednocześnie trzeba podkreślić, iż zdeterminowanie przez błąd bynajmniej oznacza braku u kontrahenta pozytywnego woli, wskazują słowa voluntatem”. Sam (jak odniesieniu 1096 KPK/83) niweczy małżeńskiej, wymagając interwencji (wola zdeterminowana błąd). Akt zawarcia rozwiązalnego, który symulacyjnym, rzeczywistą intencję skierowaną ku małżeństwu nieprawdziwemu (rozwiązalnemu).
 Gdy ową interwencję to wolno przyjąć, determinujący wolę rozwiązalnemu (znanemu kontrahentowi jako jedyne), de facto – implicite wykluczenie nierozerwalności. Intencja bowiem rzeczywistości przeciwnej prawdziwemu (włączenie przedmiotu małżeńskiej elementu niezgodnego z instytucją małżeństwa), skutkuje domyślnym wykluczeniem tego ostatniego.
منابع مشابه
Kan Extensions of Institutions
Institutions were introduced by Goguen and Burstall 8, 9, 10, 11] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality between morphi...
متن کاملComputing left Kan extensions
We describe a new extension of the Todd–Coxeter algorithm adapted to computing left Kan extensions. The algorithm is a much simplified version of that introduced by Carmody and Walters (Category Theory, Proceedings of the International Conference Held in Como, Italy, 22–28 July 1990. Springer) in 1991. The simplification allows us to give a straightforward proof of its correctness and terminati...
متن کاملLeft Kan Extensions Over !-Cat
An existing procedure to compute left Kan extensions over the ground category Set also computes left Kan extensions over the ground categories Cat, 2-Cat, n-Cat for any n and indeed !-Cat. Therefore extension data struc-tured in this manner already can make use of the left Kan extension notion of a best possible approximation. Examples include systems of labeled transition systems and certain h...
متن کاملKan Extensions of Institutions
Institutions were introduced by Goguen and Burstall [GB84, GB85, GB86, GB92] to formally capture the notion of logical system. Interpreting institutions as functors, and morphisms and representations of institutions as natural transformations, we give elegant proofs for the completeness of the categories of institutions with morphisms and representations, respectively, show that the duality bet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ko?ció? i Prawo
سال: 2023
ISSN: ['0208-7928', '2544-5804']
DOI: https://doi.org/10.18290/kip2023.12